21. Geometric computation
Author: editors Falai Chen, Dongming Wang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Data processing ، Geometry,Computer programs ، Geometry
Classification :
QA
448
.
D38
G445
2004
22. Mathematics mechanization and applications
Author: edited by Xiao-Shan Gao and Dongming Wang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Automatic theorem proving,Numerical solutions ، Equations,، Artificial intelligence,، Programming )Mathematics(
Classification :
QA
76
.
9
.
A96
M34
2000
23. Mathematics mechanization and applications
Author: edited by Xiao-Shan Gao and Dongming Wang
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Equations, Numerical solutions, Data processing,Automatic theorem proving
Classification :
{
1648
},
58f5cd92ab378d5ba32c2e983504bc9f
24. Symbolic computation and education
Author: / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
20
,.
C65
,
I585
,
2006
25. Symbolic numeric computation /
Author: Dongming Wang, Lihong Zhi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
26. Symbolic-numeric computation
Author: / Dongming Wang, Lihong Zhi, editors
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions--Data processing--Congresses,Numerical analysis--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
.
59
,.
S96
,
2007
